package kodkod.engine.fol2sat.ordering;

import kodkod.engine.satlab.OrderableSolver;

/**
 * Default Ordering Method. Does nothing. 
 * @author Markus Iser
 *
 */
public class DefaultOrdering extends OrderingMethod {

	@Override
	public void apply(OrderableSolver solver, int primaryVars) { }

}
